101. Proceedings : shortening the path from specification to prototype
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، System design-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
9
.
S88
.
I583
102. Product-Focused Software Process Improvement
پدیدآورنده : \ [edited by] Pekka Abrahamsson...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses,Computer software -- Development -- Management -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,نرم‌افزار -- تولید -- مدیریت -- کنگره ها
رده :
QA
76
.
758
.
P7
2015
E-Book
,
103. Product-focused software process improvement :
پدیدآورنده : Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
104. Product focused software process improvement : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005; proceedings
پدیدآورنده : Frank Bomarius, Seija Komi-Sirvio )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development,Quality control -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
3547
105. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
106. RSP 2004: 15th IEEE International Workshop on Rapid Systems Prototyping: proceedings: 28-30 June, 2004, Geneva, Switzerland
پدیدآورنده : ]sponsored by IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society technical Committee on Design Automation[
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، System design,Congresses ، Computer simulation,Congresses ، Computer software - Development,Congresses ، Prototypes, Engineering
رده :
QA
76
.
9
.
S88
I583
2004
107. Recent trends in algebraic development techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
108. Recent trends in algebraic development techniques :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ;
109. Recent trends in algebraic development techniques
پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
110. Recent trends in algebraic development techniques :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;
111. Recent trends in algebraic development techniques :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ;
112. Recent trends in algebraic development techniques
پدیدآورنده : Narciso Martí-Oliet, Miguel Palomino (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
113. Recent trends in algebraic development techniques
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
114. Recent trends in algebraic development techniques :
پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
115. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
پدیدآورنده : Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3423
116. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
پدیدآورنده : Didier Bert, Christine Choppy, Peter Mosses )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1827
117. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers
پدیدآورنده : Jose Luiz Fiadeiro )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1589
118. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers
پدیدآورنده : Francesco Parisi Presicce, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1376
119. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
پدیدآورنده : Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2755
120. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
76
.
D47
.
W33
2001
